declare i32 @getint()

declare void @putint(i32)

define i32 @main() {
label_entry:
  %op4 = call i32 @getint()
  br label %label5
label5:                                                ; preds = %label_entry, %label26
  %op6 = phi i32 [ 1, %label_entry ], [ %op31, %label26 ]
  %op_b = phi i32 [ 1, %label_entry ], [ %op_b_final, %label26 ]
  %op7 = icmp slt i32 %op6, 99999999
  br i1 %op7, label %label8, label %label15
label8:                                                ; preds = %label5
  %op11 = add i32 %op6, 1399
  %op13 = srem i32 %op11, %op4
  %op14 = icmp eq i32 %op13, 0
  br i1 %op14, label %label18, label %label19
label15:                                                ; preds = %label5
  call void @putint(i32 %op4)
  ret i32 %op6
label18:                                                ; preds = %label8
  br label %label26
label19:                                                ; preds = %label8
  %op22 = add i32 %op6, 1399
  %op24 = srem i32 %op22, %op4
  %op25 = icmp eq i32 %op24, 1
  br i1 %op25, label %label32, label %label33
label26:                                                ; preds = %label18, %label40
  %op_b_final = phi i32 [ 411, %label18 ], [ %op_b_from_40, %label40 ]
  %op28 = add i32 %op6, 1
  %op30 = srem i32 %op_b_final, 3
  %op31 = add i32 %op28, %op30
  br label %label5
label32:                                                ; preds = %label19
  br label %label40
label33:                                                ; preds = %label19
  %op36 = add i32 %op6, 1399
  %op38 = srem i32 %op36, %op4
  %op39 = icmp eq i32 %op38, 3
  br i1 %op39, label %label41, label %label42
label40:                                                ; preds = %label32, %label42
  %op_b_from_40 = phi i32 [ 101, %label32 ], [ %op_b_from_42, %label42 ]
  br label %label26
label41:                                                ; preds = %label33
  br label %label42
label42:                                                ; preds = %label33, %label41
  %op_b_from_42 = phi i32 [ 99, %label41 ], [ %op_b, %label33 ]
  br label %label40
}
